<?
function compile(){
	$php=file_get_contents("dump.inc.php");
	$printCSS=file_get_contents("dump.inc.print.css");
	$screenCSS=file_get_contents("dump.inc.screen.css");
	$js=file_get_contents("dump.inc.js");
	$plus=base64_encode(file_get_contents("Bilder/plus.gif"));
	$minus=base64_encode(file_get_contents("Bilder/minus.gif"));
	$popup=base64_encode(file_get_contents("Bilder/popup.gif"));
	
	$php=str_replace('".file_get_contents("dump.inc.js")."',$js,$php);
	$php=str_replace('".file_get_contents("dump.inc.print.css")."',$printCSS,$php);
	$php=str_replace('".file_get_contents("dump.inc.screen.css")."',$screenCSS,$php);
	$php=str_replace('base64_encode(file_get_contents("Bilder/plus.gif"))','"'.$plus.'"',$php);
	$php=str_replace('base64_encode(file_get_contents("Bilder/minus.gif"))','"'.$minus.'"',$php);
	$php=str_replace('base64_encode(file_get_contents("Bilder/popup.gif"))','"'.$popup.'"',$php);
	
	file_put_contents("compiled/dump.inc.php",$php);
}
compile();
?>